• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (1.765)
    • Miscellaneous (146)
    • Book (133)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5...103 Hits 1 – 20 of 2.044 1 Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming Abdallah, Majd; Iovene, Valentin; Zanitti, Gaston; Wassermann, Demian In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022) Abstract: International audience ; Inferring reliable brain-behavior associations requires synthesizing evidence from thousands of functional neuroimaging studies through meta-analysis. However, existing meta-analysis tools are limited to investigating simple neuroscience concepts and expressing a restricted range of questions. Here, we expand the scope of neuroimaging meta-analysis by designing NeuroLang: a domain-specific language to express and test hypotheses using probabilistic first-order logic programming. By leveraging formalisms found at the crossroads of artificial intelligence and knowledge representation, NeuroLang provides the expressivity to address a larger repertoire of hypotheses in a meta-analysis, while seamlessly modelling the uncertainty inherent to neuroimaging data. We demonstrate the language's capabilities in conducting comprehensive neuroimaging meta-analysis through use-case examples that address questions of structure-function associations. Specifically, we infer the specific functional roles of three canonical brain networks, support the role of the visual word-form area in visuospatial attention, and investigate the heterogeneous organization of the fronto-parietal control network. Keyword: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [SDV.IB.IMA]Life Sciences [q-bio]/Bioengineering/Imaging; [SDV.NEU.SC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Cognitive Sciences; Domain-specific language; Knowledge Representation; Meta-Analysis; Neuroimaging; Neuroinformatics; Probabilistic logic programming URL: https://hal.archives-ouvertes.fr/hal-03590714/file/Manuscript.pdf https://hal.archives-ouvertes.fr/hal-03590714 https://hal.archives-ouvertes.fr/hal-03590714/document BASE Hide details 2 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022) BASE Show details 3 A Formal Model of Checked C ... Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022 BASE Show details 4 PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ... Hohentanner, Konrad; Zieris, Philipp; Horsch, Julian. - : arXiv, 2022 BASE Show details 5 Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ... Li, Zhijing; Ye, Yuwei; Neuendorffer, Stephen. - : arXiv, 2022 BASE Show details 6 Source Matching and Rewriting ... Couto, Vinicius; Zago, Luciano; Yviquel, Hervé. - : arXiv, 2022 BASE Show details 7 How ISO C became unusable for operating systems development ... Yodaiken, Victor. - : arXiv, 2022 BASE Show details 8 Quickstrom: Property Based Acceptance Testing with LTL Specifications ... O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022 BASE Show details 9 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 10 POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ... Li, Wen. - : figshare, 2022 BASE Show details 11 A Systematic Evaluation of Large Language Models of Code ... Xu, Frank F.; Alon, Uri; Neubig, Graham. - : arXiv, 2022 BASE Show details 12 On Reinforcement Learning, Effect Handlers, and the State Monad ... Lago, Ugo Dal; Gavazzo, Francesco; Ghyselen, Alexis. - : arXiv, 2022 BASE Show details 13 Compilable Neural Code Generation with Compiler Feedback ... Wang, Xin; Wang, Yasheng; Wan, Yao. - : arXiv, 2022 BASE Show details 14 Active Learning Activities in a Collaborative Teacher Setting in Colours, Design and Visualisation Jonathan C. Roberts In: Computers; Volume 11; Issue 5; Pages: 68 (2022) BASE Show details 15 Are You Robert or RoBERTa? Deceiving Online Authorship Attribution Models Using Neural Text Generators Jones, Keenan; Nurse, Jason R. C.; Li, Shujun. - : Association for the Advancement of Artificial Intelligence, 2022 BASE Show details 16 Formal Metatheory of Second-Order Abstract Syntax ... Fiore, Marcelo; Szamozvancev, Dmitrij. - : arXiv, 2022 BASE Show details 17 Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache Weigelt, Sebastian. - : KIT Scientific Publishing, Karlsruhe, 2022 BASE Show details 18 Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java Hardin, Thérèse; Jaume, Mathieu; Pessaux, François. - : HAL CCSD, 2021. : ISTE Editions, 2021 In: https://hal.archives-ouvertes.fr/hal-03030511 ; ISTE Editions, 2021, 9781784057022 (2021) BASE Show details 19 Multiplicative Linear Logic from Logic Programs and Tilings Eng, Boris; Seiller, Thomas In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021) BASE Show details 20 Language and semantics of expressions for Grafcet model synthesis in an MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM NZEBOP NDENOKA, Gérard; Tchuenté, Maurice; Simeu, Emmanuel In: https://hal.archives-ouvertes.fr/hal-02558838 ; 2021 (2021) BASE Show details Page: 1 2 3 4 5...103

Mobile view All Catalogues UB Frankfurt Linguistik 5 IDS Mannheim 0 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 4 Bibliographies BLLDB 13 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 1 MPI for Psycholinguistics 36 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 1.990 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0